Logic in the topos Set